In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic.
例句与用法
1.
The atomic formula is called atom for short in predicate calculus 在谓词演算中,有时将原子公式简称为原子。
2.
Remove irrelevant atomic formulas for timed automaton model checking 时间自动机的模型检验中消除无关原子约束
3.
Removing irrelevant atomic formulas for checking timed automata efficiently . in proc 因此，无关的原子约束是广泛存在的。
4.
A time constraint is a conjunction of atomic formulas which bound the differences of clock values 时间自动机是可以用于对实时系统建模的有效工具。
5.
In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables 一个时间自动机是一个五元组n , l 0 , c , e , i ，其中n为一个有穷的位置集合， l 0n是初始状态， c是一个取实数值的时钟变量的有穷集合， e ng c 2 cn是转换的集合。
您当前位置：